退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:讲授如何从基于状态的规范和代码模式中得出正确的并发程序
Manuel Carro; Julio Mariño; Ángel Herranz; Juan José Moreno-navarro; Facultad De Informática;
机译:通过模式教授并发和并行编程:一种交互式ICT方法
机译:解决并发程序的传统形式推理方法的缺点:源代码正确性的新工具和技术
机译:在模型驱动方法中使用编码模式进行面向对象编程的教学
机译:教如何从基于状态的规范和代码模式中派生正确的并发程序
机译:图案擦除校正码区块系统中的存储和通信效率的纠正码
机译:绝非偶然:遗传密码会冻结在标准遗传密码的纠错模式中。
机译:并发的面向对象程序:从规范到代码
机译:循环码。扩展循环纠错码权重分布理论及相关问题的研究方案及构造编码理论
机译:移动式样指定装置,移动式样指定方法,移动式样指定程序以及记录该内容的记录介质
机译:作为并发,它运行程序规范的程序规范
机译:程序的教学点校正方法及程序的教学点校正装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。